281. Posthumous writings
پدیدآورنده : Frege, Gottlob, 8481-5291
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
3
.
F73N213
282. Posthumous writings /
پدیدآورنده : Gottlob Frege ; edited by Hans Hermes, Friedrich Kambartel, Friedrich Kaulbach, with the assistance of Gottfried Gabriel and Walburga Rödding ; translated by Peter Long, Roger White, with the assistance of Raymond Hargreaves
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Mathematics
رده :
QA3
.
F74213
1979
283. Power Algebras over Semirings
پدیدآورنده : by Jonathan S. Golan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra.,Computational complexity.,Logic, Symbolic and mathematical.,Mathematics.
284. Principa mathematica : to 56
پدیدآورنده : Whitehead, Alfred North
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
W52
285. Principia mathematica
پدیدآورنده : Whitehead, Alfred North
موضوع : ، Mathematics,، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
286. Principia mathematica
پدیدآورنده : Alfred North Whitehead,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Mathematics,Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA
.
W59
9
287. Principia mathematica
پدیدآورنده : Whitehead, Alfred North
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Mathematics,Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA9
.
W5
1927
288. Principia mathematica, to *56
پدیدآورنده : by Alfred North Whitehead and Bertrand Russell,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA
.
W52
9
1967
289. Principia mathematica to *56
پدیدآورنده : Whitehead, Alfred North
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
W52
290. Principia mathematica, to *56
پدیدآورنده : Whitehead, Alfred North
کتابخانه: Library of Mofid University (Qom)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA9
.
W52
1997
291. Principia mathematica, to *56
پدیدآورنده : By Alfred North Whitehead and Bertrand Russell
موضوع : Mathematics--Philosophy.,Logic, Symbolic and mathematical.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
292. Principia mathematica : to * 56
پدیدآورنده : Whitehead, Alfred North, 1681-7491
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
QA
9
.
W5
1927
293. Principia mathematica, to 56
پدیدآورنده : / by Alfred North Whitehead and Bertrand Russell
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA9
.
W54
1978
294. Principia mathematica, to *56
پدیدآورنده : Whitehead, Alfred North
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
W52
1997
295. Principia mathematical
پدیدآورنده : / Alfred North Whitehead and Bertrand Russell
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic, symbolic and mathematical,Mathematics
رده :
511
.
3
Wh-P
296. Proceedings
پدیدآورنده : Symposium on Logic in Computer Science )4th: 9891: Asilomar Conference Center, Pacific Grove, California(
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Electronic data processing- Mathematics- Congresses,، Logic, Symbolic and mathematical- Congresses
رده :
QA
76
.
9
.
M35
S94
1989
297. Proceedings
پدیدآورنده : Tarski Symposium, 1791, University of California, Berkeley
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Mathematics-- Addresses, essays, lectures,، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Tarski, Alfred-- Bibliography
رده :
QA
7
.
T34
1971
298. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
رده :
QA
76
.
9
.
M35
S94
1994
299. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
پدیدآورنده : Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...]et al.[
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
S94
2004
300. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
I38
2000
